First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
111	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
112	Semantic Processing Semantics Semantic Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-23 22:06:25 Semantics Grammar Predicate logic Knowledge representation Computational linguistics Logical Form Dependency grammar First-order logic Description logic Semantic network Quantifier Model theory
113	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic
114	Querying Proofs (Work in Progress) David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof NP First-order logic Formal proof
115	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
116	Microsoft Word - Brun-AdequateFormalization&DeMorgansArgument.doc Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:08 Arguments Philosophical logic Critical thinking Logical consequence Mathematical logic First-order logic Algorithm Logical form Modal logic
117	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
118	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
119	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
120	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic II: the four-element case Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-08-24 16:58:08 Complexity classes Finite model theory Computational complexity theory Descriptive complexity Structural complexity theory FO SO P versus NP problem NP P Reduction HO